ECE497MF Final Report: The Formation and Simulation of a “Whole Program” Gated Singular Assignment Program Dependence Graph
نویسندگان
چکیده
The Gated Single Assignment Program Dependence Graph (GSA PDG) provides an executable dataflow representation for imperative programs that might be useful for hardware synthesis. Existing publications on GSA have not attempted to define interpretation semantics for whole programs including side effects (ie. memory accesses and procedure calls). Published works also contain errors even for side-effect-free programs. We have addressed these shortcomings and developed a more complete specification of a GSA form that is able to represent entire programs including side effects. We have also implemented a compiler pass to generate GSA for side-effect-procedures. Finally, we have used simulation to verify our semantics and characterize the parallelism in the GSA graph.
منابع مشابه
Construction of Thinned Gated Single-Assignment Form
Analysis of symbolic expressions beneets from a suitable program representation. We show how to build thinned gated single-assignment (TGSA) form, a value-oriented program representation which is more complete than standard SSA form, deened on all reducible programs , and better for representing symbolic expressions than program dependence graphs or original GSA form. We present practical algor...
متن کاملEvaluation of an evaluation
Introduction. Evaluation is a systematic way to improve and make more effective actions that involves procedures which are useful, feasible, ethical, and accurate. Common questions in all evaluations are: do all part of program do well and effective? What is the good functioning? Why the program or its parts do not work well? What are the effects and consequences of the program? Is this progra...
متن کاملMapping computation kernels to clustered programmable-reconfigurable processors
Reconfigurable computing systems have shown the potential to surpass conventional processor architectures in performance for a growing range of applications. That performance, however, must be attained without significantly changing the design effort on the programmer’s part, and without drastically increasing compilation time. In this paper, we present our compiler framework for mapping comput...
متن کاملA two dimensional Simulation of crack propagation using Adaptive Finite Element Analysis
Finite element method (FEM) is one of the most famous methods which has many applications in varies studies such as the study of crack propagation in engineering structures. However, unless extremely fine meshes are employed, problem arises in accurately modelling the singular stress field in the singular element area around the crack tip. In the present study, the crack growth simulation has b...
متن کاملE cient Building and Placing of Gating Functions
The Gated Single-Assignment (GSA) program representation is an extension of the Static Single Assignment (SSA) representation[CFR91]. GSA was introduced by Ballance, Maccabe and Ottenstein as a part of Program Dependence Web (PDW)[BMO90]. It is a convenient representation for several program analysis and optimization techniques, including constant propagation with conditional branches[WZ91]; eq...
متن کامل